Towards operational natural language

نویسنده

  • Alexandr Naumchev
چکیده

The multiplicity of software projects’ stakeholders and activities leads to the multiplicity of software specification views and thus creates the need to establish mutual consistency between them. The process of establishing such consistency is error-prone and requires adequate tool support. The present article introduces specogramming – an approach that treats a modern object-oriented integrated development environment as a word processor. The approach turns the process of documenting initial specifications into a simplified form of programming and turns structured-natural-language specifications into runnable programs that yield multiple consistent-by-construction views, one of which is structured natural language.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards a Mathematical Operational Semantics

We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a coherent whole. It is shown that, if the operational rules of a programming language can be modelled as a natural transformation of a suitable general form, depending on functorial notions of syntax and behaviour, then one get...

متن کامل

Towards a comprehensive medical language processing system: methods and issues

Natural language processing (NLP) systems can help solve the data entry problem by providing coded data from textual reports for clinical applications. A number of NLP systems have shown promise, but have not yet achieved wide-spread use for practical applications. In order to achieve such use, a system must have broad coverage of the clinical domain and not be restricted to limited application...

متن کامل

Syntax and Selmantics of PRETSEL-A Specification Language for Parallel Real-Time Systems*

For many real-time applications (e.g. Command, Control, and Communications), parallel computers offer a natural computing platform. However, very little attention has been paid to the specification requirements of real-time systems implemented on parallel machines. Towards this end, we propose a specijlcation language PRETSEL (Parallel REal-Time SpEcification Language). The PRETSEL specificatio...

متن کامل

Alternative Phrases And Natural Language Information Retrieval

This paper presents a formal analysis for a large class of words called alternative markers, which includes other(than), such(as), and besides. These words appear frequently enough in dialog to warrant serious attention, yet present natural language search engines perform poorly on queries containing them. I show that the performance of a search engine can be improved dramatically by incorporat...

متن کامل

Methodology and Software Development for Application in Information Science

Introduction The present activity of CETIS in the field of scientific information and documentation is directed towards using experience in information science to create operational systems. By 1970 three such systems appeared to be well enough defined to warrant starting intensive implementation: 1. A generalized software package and programming language for natural-language processing (SLC-II...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1711.06518  شماره 

صفحات  -

تاریخ انتشار 2017